英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：时尚)
美国将中微公司移出制裁清单
618科龙空调搭乘欧洲杯打造品牌年—万维家电网
自作自受 中国空调业压货模式走到尽头—万维家电网
高温模式已开启志高智能王空调让您酷爽一夏—万维家电网
00后步入职场，企业如何“接招”推荐文章
-
滁州网讯全媒体记者刘 晨 通讯员王 松）今年以来，市公管局聚焦市场主体的急难愁盼问题，通过“线上+线下”送政策、“台账+制度”清资金、“抽查
...[详细]
-
每年“五一”小长假期间都是结婚旺季，不少新人扎堆结婚。为了结婚，新家装修这是常事，而新房子里面的装饰纺织品，包括床上用品、墙布、墙纸、化纤地毯、窗帘和布艺家具等都是新的。而这些往往
...[详细]
-
“五一”将至，春暖花开，空调市场“自南而北”快速升温，国内空调巨头竞相发力推广变频新品。近日，海信空调推出了2016年度新品“珍珠”空调登陆了全国家电卖场，该产品被认为是继海信“炫转”空调之后智能
...[详细]
-
甜蜜蜜的520到了，小伙伴们在忙着跟男神女神表白吗？在这个注定是一个空气中弥漫着浪漫气息的日子，表白时如何才能提高“命中率”，那就先学习下志高精心准备的“恋上志高风心动520”清新恋爱风吧。 风
...[详细]
-
在“双碳”战略背景下，发展绿色经济已成各地发展共识。唐山，这座“因煤而建、因钢而兴”的百年工业重镇，正在持续推动公路货运行业绿色转型，全力推进能源低碳发展。11月，《唐山市支持新能源体系建设若干政策2
...[详细]
-
谷雨节气过后意味着寒潮天气彻底结束，告别春季，接着进入立夏，气温回升加快。一年年的经验告诉我们，要想避开伴随夏日而来的高温天气，真不是这么容易的事情。若想过一个清爽舒适的夏日，现在赶紧备上一台志高
...[详细]
-
“把产品做到极致，把服务做到极致”。在专注制造二十余年的道路上，志高空调一直遵循着这个理念，并不断推出能更好满足消费者体验的产品。在前不久的第119届广交会上，志高所展出的全世界最智能的空调“智能
...[详细]
-
为了买到心仪的物品从东街逛到西城，光会员卡就办了一箩筐……现在这一“累人”的购物方式将被改变。5月26日，海尔将联合罗莱家纺、顾家、百雀羚、RIO涉及到不同行业的品牌，共同打造生活+共赢生态圈，通
...[详细]
-
靓丽的红色车身，流畅的动感溜背……12月20日，1032台中车“鲸典”系列公交车正式交付上线，即将化身“红鲸鱼”陆续亮相大连城市街头，为城市再添新名片。此次交付的中车“鲸典”系列车型，以10.5米、8
...[详细]
-
随着居民消费水平的提升，智能空调逐渐在我国普及开来。数据显示，2015冷年国内智能空调销售量同比增长173.5%，销售额同比增长98.44%，市场份额逐步扩大，同时智能空调市场呈现高度品牌集中化特
...[详细]
热点阅读
